operating system kernel - Espagnol Anglais Dictionnaire